Code Museums as Functional Tests for Static Analyses
نویسندگان
چکیده
منابع مشابه
Code Museums as Functional Tests for Static Analyses
Growing your software guided by tests [2] has the benefit of thoroughly tested implementations of the right functionality. If you are developing static analyses your “test data” consist of code that has a few lines to a few classes. How can tests based on this “data” be kept expressive and maintainable? After exploring a variety of different other approaches we decided to embed the expectations...
متن کاملStatic Analysis for Guarded Code
Guarded(predicated) execution, as a new hardware feature, has been introduced into today's high performance processors. Guarded execution can signiicantly improve the performance of programs with conditional branches, and meanwhile also poses new challenges for conventional program analysis techniques. In this paper, we propose a static semantics inference mechanism to capture the semantics inf...
متن کاملStatic Verification for Code Contracts
The Code Contracts project [3] at Microsoft Research enables programmers on the .NET platform to author specifications in existing languages such as C# and VisualBasic. To take advantage of these specifications, we provide tools for documentation generation, runtime contract checking, and static contract verification. This talk details the overall approach of the static contract checker and exa...
متن کاملApplication of static analyses for state-space reduction to the microcontroller binary code
This article describes the application of two abstraction techniques, namely dead variable reduction and path reduction, to microcontroller binary code in order to tackle the state-explosion problem in model checking. These abstraction techniques are based on static analyses, which have to cope with the peculiarities of binary code such as hardware dependencies, interrupts, recursion, and globa...
متن کاملStatic Resource Models for Code-size Efficient Embedded Processors Static Resource Models for Code-size Efficient Embedded Processors / Static Resource Models for Code-size Efficient Embedded Processors
Due to an increasing need for flexibility, embedded systems embody more and more programmable processors as their core components. Because of silicon area and power considerations, the corresponding instruction sets are often highly encoded to minimize code size for given performance requirements. This has hampered the development of robust optimizing compilers because the resulting irregular i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Softwaretechnik-Trends
سال: 2012
ISSN: 0720-8928
DOI: 10.1007/bf03323482